differential of a morphism

态射的微分